Compiler Construction
---------------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [PLDI](../PLDI/README.md#pldi), [Parsing](../Parsing/README.md#parsing)_

- - - -


### Web resources

[How to compile with continuations](https://matt.might.net/articles/cps-conversion/) ★★

[Example assembly/machine instruction from lambda calculus](https://stackoverflow.com/questions/67594976/example-assembly-machine-instruction-from-lambda-calculus) ★★ [💭](commentary/Chris%20Pressey.md#example-assembly-machine-instruction-from-lambda-calculus)

_(in [6502](../6502/README.md#6502))_ [COMFY-6502 compiler: port to Common Lisp](https://josephoswald.nfshost.com/comfy/summary.html) ★★

_(in [6502](../6502/README.md#6502))_ [cc65 - a freeware C compiler for 6502 based systems](https://cc65.github.io/) ★★

_(in [Functional Programming](../Functional%20Programming/README.md#functional-programming))_ [compiler construction - Converting a function to use tail recursion -- a formal study - Stack Overflow](https://stackoverflow.com/questions/10700807/converting-a-function-to-use-tail-recursion-a-formal-study) ★


### Repositories

[radian-software/kalyn: self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.](https://github.com/radian-software/kalyn) ★

[natefaubion/example-functional-compiler](https://github.com/natefaubion/example-functional-compiler) ★

[namin/inc: an incremental approach to compiler construction](https://github.com/namin/inc) ★

[bollu/tiny-optimising-compiler: A tiny *optimising* compiler for an imperative programming language written in haskell](https://github.com/bollu/tiny-optimising-compiler) ★


### Papers

The essence of compiling with continuations (online @ [web.archive.org](https://web.archive.org/web/20210423174105/http://www.cs.rice.edu/~javaplt/311/Readings/essence-retro.pdf)) ★★★ [💭](commentary/Chris%20Pressey.md#the-essence-of-compiling-with-continuations)

[An Introduction to Operational Semantics](https://www.cse.iitd.ac.in/~sak/courses/pl/opsem.pdf) ★★ [💭](commentary/Chris%20Pressey.md#an-introduction-to-operational-semantics)


### Books

Compilers: Principles, Techniques, and Tools (1st Ed.) (online @ [archive.org](https://archive.org/details/addison-wesley-aho-sethi-ullman-compilers-principles-techniques-and-tools)) (borrow with print disabilities @ [archive.org](https://archive.org/details/compilersprincip0000ahoa)) 🏛️ [💭](commentary/Chris%20Pressey.md#compilers-principles-techniques-and-tools-1st-ed)

Compilers and Compiler Generators (borrow @ [archive.org](https://archive.org/details/compilerscompile0000terr)) ★★